Pays
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Tunisie157
Stephan Merz104
Tunisie Sauf Stephan Merz" 154
Stephan Merz Sauf Tunisie" 101
Tunisie Et Stephan Merz 3
Tunisie Ou Stephan Merz 258
Corpus24195
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 3.
Ident.Authors (with country if any)Title
003A25 Mouna Chaouch-Saad [Tunisie] ; Bernadette Charron-Bost [France] ; Stephan Merz [France]A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
005165 Houda Fekih [France] ; Leila Jemni Ben Ayed [Tunisie] ; Stephan Merz [France]Transformation of B Specifications into UML Class Diagrams and State Machines
007D33 Houda Fekih [Tunisie] ; Stephan Merz [France]Translating B machines into UML diagrams
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022